lower_case

pure function lower_case(): text

Returns the text obtained by converting all alphabetic characters in this text to lower case.

Since

0.9.0